<?php

function geshi_highlight()
{
  return null;
}

?>
